A Lyapunov Redesign of Coordination Algorithms for Cyber-Physical Systems
نویسندگان
چکیده
منابع مشابه
On Coordination of Cyber-physical Systems
The physical world will be saturated by networked devices with sensing and actuating capabilities. This trend will generate profound impacts on our way of monitoring and controlling the physical world, and meanwhile bring us towards a cyber-physical convergence era. Along this trend, a new type of systems, named Cyber-Physical Systems (CPS), is developed by taking into consideration the cyber a...
متن کاملCoordination with Structured Composition for Cyber-physical Systems
Structured programming has become a very successful programming paradigm as it provides locality of a program’s control flow. Similar concepts of locality are desired for the specification and development of concurrent and parallel systems. In the domain of cyber-physical systems or embedded computing it is challenging to identify such structured compositions since control flow tends to be driv...
متن کاملTime-based Coordination in Geo-Distributed Cyber-Physical Systems
Emerging Cyber-Physical Systems (CPS) such as connected vehicles and smart cities span large geographical areas. These systems are increasingly distributed and interconnected. Hence, a hierarchy of cloudlet and cloud deployments will be key to enable scaling, while simultaneously hosting the intelligence behind these systems. Given that CPS applications are often safety-critical, existing techn...
متن کاملUPBOT: A Testbed for Cyber-Physical Systems
Developing software for cyber-physical systems presents a unique challenge. These systems are not simply software; they are composed of software running on a collection of machines that present a risk to human safety if anything goes wrong. Researchers want to create languages and tools that aid in the development of secure and fault-tolerant software, but they cannot simply “try out” their ide...
متن کاملA Framework for Developing Cyber-Physical Systems
Cyber physical systems (CPSs) are pervasive in our daily life from mobile phones to auto driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2017
ISSN: 0018-9286,1558-2523
DOI: 10.1109/tac.2016.2565062